prior($X$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$last($\lambda$$e$.$e$ $\in_{b}$ $X$)